1

AIDA–A dynamic data flow anomaly detection system for pascal programs

Year:
1987
Language:
english
File:
PDF, 666 KB
english, 1987
6

Adaptive random testing through test profiles

Year:
2011
Language:
english
File:
PDF, 648 KB
english, 2011
20

On the fixpoints of nondeterministic recursive definitions

Year:
1984
Language:
english
File:
PDF, 1.29 MB
english, 1984
21

On the statistical properties of testing effectiveness measures

Year:
2006
Language:
english
File:
PDF, 218 KB
english, 2006
23

Adaptive random testing based on distribution metrics

Year:
2009
Language:
english
File:
PDF, 1.92 MB
english, 2009
24

Dividing strategies for the optimization of a test suite

Year:
1996
Language:
english
File:
PDF, 563 KB
english, 1996
25

The universal safeness of test allocation strategies for partition testing

Year:
2000
Language:
english
File:
PDF, 109 KB
english, 2000
26

Formalization of properties of nondeterministic recursive definitions

Year:
1980
Language:
english
File:
PDF, 296 KB
english, 1980
27

On the maximin algorithms for test allocations in partition testing

Year:
2001
Language:
english
File:
PDF, 258 KB
english, 2001
28

Formalization of correctness of recursive definitions

Year:
1980
Language:
english
File:
PDF, 285 KB
english, 1980
30

Formalization of equivalence of recursively defined functions

Year:
1978
Language:
english
File:
PDF, 418 KB
english, 1978
31

Adaptive Random Testing: The ART of test case diversity

Year:
2010
Language:
english
File:
PDF, 329 KB
english, 2010
32

Distributing test cases more evenly in adaptive random testing

Year:
2008
Language:
english
File:
PDF, 1.79 MB
english, 2008
37

Quasi-Random Testing

Year:
2007
Language:
english
File:
PDF, 210 KB
english, 2007
38

Application of a Failure Driven Test Profile in Random Testing

Year:
2009
Language:
english
File:
PDF, 559 KB
english, 2009
49

Code Coverage of Adaptive Random Testing

Year:
2013
Language:
english
File:
PDF, 1.47 MB
english, 2013